es-init(es;e) == if first(e) e else es-init(es;pred(e)) fi  (recursive) 

latex

---

clarification:

es-init(es;e) == if es-first(es; e) e else es-init(es;es-pred(es; e)) fi  (recursive) 

latex

Definitions	Y, x.A(x), if b t else f fi, first(e), f(a), pred(e)
FDL editor aliases	es-init